Dynamic Branch Resolution Based on Combined Static Analyses
نویسندگان
چکیده
Static analysis requires the full knowledge of the overall program structure. The structure of a program can be represented by a Control Flow Graph (cfg) where vertices are basic blocks (bb) and edges represent the control flow between the bb. To construct a full cfg, all the bb as well as all of their possible targets addresses must be found. In this paper, we present a method to resolve dynamic branches, that identifies the target addresses of bb created due to the switchcases and calls on function pointers. We also implemented a slicing method to speed up the overall analysis which makes our approach applicable on large and realistic real-time programs. 1998 ACM Subject Classification D.2.4 Software/Program Verification
منابع مشابه
Dynamic Instability Analysis of Embedded Multi-walled Carbon Nanotubes under Combined Static and Periodic Axial Loads using Floquet–Lyapunov Theory
The dynamic instability of single-walled carbon nanotubes (SWCNT), double-walled carbon nanotubes (DWCNT) and triple-walled carbon nanotubes (TWCNT) embedded in an elastic medium under combined static and periodic axial loads are investigated using Floquet–Lyapunov theory. An elastic multiple-beam model is utilized where the nested slender nanotubes are coupled with each other through the van d...
متن کاملA Comparative Study on Seismic Performance of Hexagrid, Diagrid and Tubular Structural Systems
Hexagrid structural system is an innovated system with structural behavior which is similar to a tubular system. In this paper, a numerical study is conducted to estimate the seismic performance of horizontal hexagrid concerning the combined horizontal and vertical hexagrid, tubular and diagrid structural systems. First 30 and 50 story buildings are modeled using ETABS, then pushover and nonlin...
متن کاملEvaluation of Performance Levels of Zipper-Braced Frames Using Structural Damage Index
The determination of structural and nonstructural damage under earthquake excitations is usually considered as a key factor in performance-based seismic design (PBSD) methods is In this regard, various damage indices have been developed in recent years to quantitatively estimate structural damage. The aim of this study is to develop a simple method to evaluate performance levels of zipper-brace...
متن کاملStudy on the dynamic behavior of cylindrical steel liquid storage tanks using finite element method
Dynamic behavior of ground supported cylindrical storage tanks (CST) is of crucial importance because of its applications in industrial complexes. Seismic behavior of tanks is greatly affected by the height to diameter ratio, fluid height and fluid type. Five CSTs with different height to diameter ratios, three CSTs with the same height and diameters but various fluid heights and one CST with t...
متن کاملStatic and Dynamic Analysis of Bus Structure and Chassis of O-457
With due attention to the fact that the local and foreign vehicle industries are changing and modifying the previous designs in order to produce new designs, the components of self-propelled are to be differently analyzed. Static and dynamic analysis is one of them. In this paper, chassis and body of a o-457 bus were studied and analyzed under finite element method (using ANSYS).This process wa...
متن کامل